He asked me if there was any way to identify the boost controller as mine if it turned up at a pawn shop or at any of their other sources, and I really couldn't remember if I have the serial number written down anymore (I know I had it on the instructions, but I may have tossed them) or if the serial number correlates to anything on the solenoid or other components.